<?hh

class D<Ta as int, Tb super string> {}
function g(D $x): void {}
